Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
361	Big Data and Data Science in the Browser ! Global Big Data Conference Santa Clara, 01. September 2015 ! Add to Reading List Source URL: datapark.io Language: English - Date: 2015-08-31 12:05:10 Data management Formal sciences Big data Technology forecasting Transaction processing Analytics
362	A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality Jasmin Christian Blanchette1,2 , Mathias Fleury2 , and Christoph Weidenbach2 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-06-17 09:50:06 Formal methods Automated theorem proving Logic in computer science Boolean algebra Electronic design automation Conflict-Driven Clause Learning Boolean satisfiability problem Satisfiability modulo theories Clause Vampire Propositional calculus Lambda calculus
363	Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-13 14:10:53 Formal methods Logic in computer science Theoretical computer science Hardware verification languages Aspect-oriented software development Formal verification Model checking Abstraction E Communications protocol Modularity Construction and Analysis of Distributed Processes
364	Microsoft Word - IBSNew_Trends_in_iTECH-final Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:46:12 Machine learning Statistical classification Actuarial science Formal sciences Statistical theory Risk Linear classifier Pattern recognition Statistics Expected value Loss function Value at risk
365	The Need for Humans in the Loop: Meeting the Grand Challenge of Full Functional Verification Matt Kaufmann & J Strother Moore Department of Computer Science University of Texas at Austin Austin, TX 78701 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-22 17:23:36 Formal methods Technical communication Automated theorem proving Theoretical computer science Logic in computer science Formal verification ACL2 Functional verification User interface Proof assistant Usability Verification and validation
366	Individuals, Universals, Collections: On the Foundational Relations of Ontology Thomas BITTNER1 , Maureen DONNELLY1 , and Barry SMITH1,2 1 Institute for Formal Ontology and Medical Information Science (IFOMIS), Saarland Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-08-12 11:36:24 Predicate logic Quantification Ontology Logic First-order logic Model theory Problem of universals Universal quantification Universal Net Quantifier
367	Safety to the Weak! Security Through Feebleness: An Unorthodox Manifesto Rick McGeer, US Ignite Outline Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:40:05 Hardware description languages Turing machine Formal methods Theoretical computer science Verilog VHDL Turing completeness NP Formal verification High-level synthesis Verilog-AMS
368	Curriculum Vitae Vassilis Zikas Assistant Professor, RPI Rensselaer Polytechnic Institute Add to Reading List Source URL: www.cs.rpi.edu Language: English - Date: 2016-01-14 21:49:00 Formal sciences Eurocrypt Ueli Maurer Cryptography International Colloquium on Automata Languages and Programming Theory of Cryptography Conference Jonathan Katz Theoretical computer science International Cryptology Conference LOKI
369	ACTIONS AND OTHER EVENTS IN SITUATION CALCULUS John McCarthy Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:19:36 Logic in computer science Logic programming Situation calculus Z notation Fluent S
370	Abstracts Abstracts are listed in the order of presentation. Monday, 18 April Bin Packing: From Theory to Experiment and Back Again David S. Johnson Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2011-04-13 17:03:53 Logic in computer science Formal methods Philosophical logic Metalogic Formal verification Theoretical computer science First-order logic Modal logic Logic Mathematical logic P versus NP problem Automated theorem proving

UPDATE